Two Classical Surprises Concerning the Axiom of Choice and the Continuum Hypothesis
نویسندگان
چکیده
منابع مشابه
Two Classical Surprises Concerning the Axiom of Choice and the Continuum Hypothesis
1. INTRODUCTION. In this paper we introduce the reader to two remarkable results in the theory of sets. Both are more than fifty years old, but neither one appears to be well known among nonspecialists. Each one states that a certain proposition implies the Axiom of Choice. First we describe the results, then review definitions, then, finally, present the proofs, most of which are straightforwa...
متن کاملa case study of the two translators of the holy quran: tahereh saffarzadeh and laleh bakhtiar
بطورکلی، کتاب های مقدسی همچون قران کریم را خوانندگان میتوان مطابق با پیش زمینه های مختلفی که درند درک کنند. محقق تلاش کرده نقش پیش زمینه اجتماعی-فرهنگی را روی ایدئولوژی های مترجمین زن و در نتیجه تاثیراتش را روی خواندن و ترجمه آیات قرآن کریم بررسی کند و ببیند که آیا تفاوت های واژگانی عمده ای میان این مترجمین وجود دارد یا نه. به این منظور، ترجمه 24 آیه از آیات قرآن کریم مورد بررسی مقایسه ای قرار ...
15 صفحه اولThe Consistency of the Axiom of Choice and of the Generalized Continuum-Hypothesis.
1. The axiom of choice (i.e., v. Neumann's Ax. III 3*) 2. The generalized Continuum-Hypothesis (i.e., the statement that 2"= ,, + i holds for any ordinal a) 3. The existence of linear non-measurable sets such that both they and their complements are one-to-one projections of two-dimensional complements of analytic sets (and which therefore are B2-sets in Lusin's terminology2) 4. The existence o...
متن کاملa synchronic and diachronic approach to the change route of address terms in the two recent centuries of persian language
terms of address as an important linguistics items provide valuable information about the interlocutors, their relationship and their circumstances. this study was done to investigate the change route of persian address terms in the two recent centuries including three historical periods of qajar, pahlavi and after the islamic revolution. data were extracted from a corpus consisting 24 novels w...
15 صفحه اولBar Recursion in Classical Realisability: Dependent Choice and Continuum Hypothesis
This paper is about the bar recursion operator in the context of classical realizability. The pioneering work of Berardi, Bezem, Coquand [1] was enhanced by Berger and Oliva [2]. Then Streicher [12] has shown, by means of their bar recursion operator, that the realizability models of ZF, obtained from usual models of λ-calculus (Scott domains, coherent spaces, . . . ), satisfy the axiom of depe...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The American Mathematical Monthly
سال: 2002
ISSN: 0002-9890
DOI: 10.2307/2695444